strict type semantic

严格型式语意